Recursively enumerable set - PDFSEARCH.IO - Document Search Engine

Recursively enumerable set
Results: 50

#	Item
11	Nonrecursive Cellular Automata Invariant Sets Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:30:37 Applied mathematics Theory of computation Computability theory Formal languages Automata theory Cellular automaton Recursively enumerable set Recursively enumerable language Universal Turing machine Theoretical computer science Turing machine Computer science
12	Undecidability in Number Theory Bjorn Poonen D Add to Reading List Source URL: www.ams.org Language: English - Date: 2008-02-04 14:23:41 Group theory Field theory Computability theory Diophantine set Number theory Recursively enumerable set Polynomial Elliptic curve Finite field Mathematics Abstract algebra Diophantine equations
13	Chapter 3: Infinity Quotation Algorithmic Adventures From Knowledge to Magic Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2010-10-19 16:35:27 Philosophy of mathematics Number theory Elementary mathematics Recursively enumerable set Number Actual infinity Finite set Enumeration Integer Mathematics Cardinal numbers Infinity
14	Recursion Theory Frank Stephan October 8, 2012 Recursion theory deals with the fundamental concepts on what subsets of natural numbers (or other famous countable domains) could be defined effectively and how Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2012-10-08 00:46:12 Mathematics Mathematical logic Recursively enumerable set Primitive recursive function Recursion Diophantine set Μ operator Computability Recursive set Computability theory Theoretical computer science Theory of computation
15	On the computational content of the Lawson topology Fr´ed´eric De Jaeger DI, Ecole Normale Sup´erieure, Paris ´ Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2005-07-19 08:48:33 Theoretical computer science Mathematical logic Recursively enumerable set Recursive set Enumeration Topology Continuous function Numbering Subbase Mathematics Computability theory Theory of computation
16	Theory of Real Computation according to EGC∗ Chee Yap Courant Institute of Mathematical Sciences Department of Computer Science New York University April 17, 2007 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-04-17 11:20:36 Theoretical computer science Mathematical logic Computable function Symbol Function Model theory Recursively enumerable set Computability Primitive recursive function Computability theory Theory of computation Mathematics
17	Learning with a Limited Memory Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 04:26:15 Theoretical computer science Computer science Inductive inference Recursion Computable function Derivative Recursively enumerable set Big O notation Function Mathematics Theory of computation Computability theory
18	Computable Structures: Presentations Matter Richard A. Shore∗ Department of Mathemcatics Cornell Univeristy Ithaca NY 14853 Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 1999-12-01 12:15:32 Applied mathematics Logic Computable isomorphism Turing reduction Recursive set Enumeration Low Recursively enumerable set Mathematical logic Computability theory Theory of computation Mathematics
19	Solutions of the Goncharov-Millar and Degree Spectra Problems in The Theory of Computable Models Bakhadyr Khoussainov The University of Auckland New Zealand Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 1999-11-18 16:33:20 Computer science Mathematics Computable function Recursive set Recursively enumerable set Turing reduction Computable isomorphism Low RE Computability theory Theoretical computer science Theory of computation
20	Samuel A. Alexander Research Statement 1 Applications of Mathematics to Theoretical Computer Science 1.1 Knowing machines . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 A machine that knows its own code . . . Add to Reading List Source URL: www.semitrivial.com Language: English - Date: 2014-01-16 13:36:26 Logic Ordinal numbers Theory of computation Turing jump Recursively enumerable set Proof theory Ordinal arithmetic Enumeration Algorithm Mathematical logic Mathematics Computability theory